๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Binary Grammars
Format Specification, Structure Parsing, Protocol Analysis, Data Linguistics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
17h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
ยท
5h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
6h
๐ข
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
ยท
7h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
ยท
6h
ยท
Discuss:
DEV
๐ง
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
ยท
20h
ยท
Discuss:
Hacker News
,
r/programming
โ
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
ยท
9h
๐
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
ยท
11h
๐
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building the Reasoning Engine at Axiom
axiommath.ai
ยท
2h
ยท
Discuss:
Hacker News
โ๏ธ
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Toy Binary Decision Diagrams
philipzucker.com
ยท
4d
๐งฎ
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org
ยท
17h
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
ยท
1d
ยท
Discuss:
blog.mitrichev.ch
๐
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐งฎ
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
ยท
1d
ยท
Discuss:
Hacker News
๐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca
ยท
2h
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org
ยท
2d
ยท
Discuss:
Hacker News
๐
Language-based security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip โ A Lisp System in JavaScript
lisperator.net
ยท
8h
ยท
Discuss:
Hacker News
๐
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
ยท
17h
โช
Church Encoding
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
ยท
1d
๐จ
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »